Machine Morphisms and Simulation
نویسنده
چکیده
This paper examines the concept of simulation from a modelling viewpoint. How can one Mealy machine simulate the other one? We create formalism for simulation of Mealy machines. The injective s–morphism of the machine semigroups induces the simulation of machines [1]. We present the example of s–morphism such that it is not a homomorphism of semigroups. The story for the surjective s–morphisms is quite different. These are homomorphisms of semigroups but there exists the surjective s–morphism such that it does not induce the simulation. Keywords—Mealy machine, simulation, machine semigroup, injective s–morphism, surjective s–morphisms.
منابع مشابه
On morphisms of crossed polymodules
In this paper, we prove that the category of crossed polymodules (i.e. crossed modules of polygroups) and their morphisms is finitely complete. We, therefore, generalize the group theoretical case of this completeness property of crossed modules.
متن کاملComputer Simulation of Converter Fed Synchronuse Machine Drives Contaning Space Harmonics
In this Paper, complete models of three and six phase self commutated synchronous machine drives are presented, considering the effects of both time and space harmonics. First, the equations for calculation of machine inductances are developed. Next, "thyristor-inverter-electric machine" set is modeled in order to derive all the equations for conduction and commutation states. Finally, the resu...
متن کاملHybrid Simulation of a Frame Equipped with MR Damper by Utilizing Least Square Support Vector Machine
In hybrid simulation, the structure is divided into numerical and physical substructures to achieve more accurate responses in comparison to a full computational analysis. As a consequence of the lack of test facilities and actuators, and the budget limitation, only a few substructures can be modeled experimentally, whereas the others have to be modeled numerically. In this paper, a new hybrid ...
متن کاملModeling and Simulation of Variable Frequency Pump Control Fatigue Test Machine
High-speed maglev train is considered an ideal vehicle in the 21st Century, as an important part of the train, the travel mechanism bears and delivers a variety of vertical and horizontal alternating load in operation, it affects the operation safety of the train directly, so key components of the travel mechanism should under fatigue strength test by fatigue test machine.The paper proposed a v...
متن کاملToroidalization of locally toroidal morphisms of 3-folds
A toroidalization of a dominant morphism $varphi: Xto Y$ of algebraic varieties over a field of characteristic zero is a toroidal lifting of $varphi$ obtained by performing sequences of blow ups of nonsingular subvarieties above $X$ and $Y$. We give a proof of toroidalization of locally toroidal morphisms of 3-folds.
متن کامل